infinix note 40 pro vs redmi note 13 pro